課程資訊
課程名稱
邏輯合成與驗證
Logic Synthesis and Verification 
開課學期
106-1 
授課對象
電機資訊學院  電子工程學研究所  
授課教師
江介宏 
課號
EEE5028 
課程識別碼
943 U0300 
班次
 
學分
3.0 
全/半年
半年 
必/選修
選修 
上課時間
星期一2,3,4(9:10~12:10) 
上課地點
電二146 
備註
總人數上限:60人 
Ceiba 課程網頁
http://ceiba.ntu.edu.tw/1061EEE5028_lsv 
課程簡介影片
 
核心能力關聯
核心能力與課程規劃關聯圖
課程大綱
為確保您我的權利,請尊重智慧財產權及不得非法影印
課程概述

課程目標
 
課程要求
 
預期每週課後學習時數
 
Office Hours
 
指定閱讀
 
參考書目
 
評量方式
(僅供參考)
   
課程進度
週次
日期
單元主題
Week 1
09/11  Introduction; ABC Tutorial 
Week 2
09/18  Boolean Algebra 
Week 3
09/25  Representations of Boolean Functions 
Week 4
10/02  Representations of Boolean Functions 
Week 5
10/09  SOPs and Incompletely Specified Functions 
Week 6
10/16  SOPs and Incompletely Specified Functions 
Week 7
10/23  Two-Level Logic Minimization (1/2) 
Week 8
10/30  Two-Level Logic Minimization (2/2) 
Week 9
11/06  Midterm Exam 
Week 10
11/13  Multi-Level Logic Minimization (1/2) 
Week 11
11/20  Multi-Level Logic Minimization (2/2) 
Week 12
11/27  Logic Flexibility 
Week 13
12/04  Technology Mapping 
Week 14
12/11  Timing Analysis and Optimization 
Week 15
12/18  Sequential Circuit Optimization 
Week 16
12/25  Equivalence and Property Verification 
Week 17
01/01  Happy New Year! 
Week 18
01/08  Final Quiz; Project Presentation